home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / Passed / test20.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  204 b   |  13 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. main :-
  5.     write(['ok1?','ok2?','ok3?']), nl,
  6.     a(R,[ok1|X]),
  7.     a([b|X],[b|Y]),
  8.     a(Y,Z),
  9.     a(Z,[ok2,ok3]),
  10.     write(R), nl.
  11.  
  12. a(X,X).
  13.